1. .....................
Author: Chang, Chin-liang
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
Classification :
QA
9
.
C483
2. <A> Computational Logic
Author: \ Robert S. Boyer and J Strother Moore
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Automatic theorem proving.
Classification :
E-Book
,
3. <A> Proof Theory for General Unification
Author: \ Wayne Snyder
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Automatic theorem proving
Classification :
E-Book
,
4. A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia
Author: Jacques Fleuriot
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving,، Nonstandard mathematical analysis,، Newton, Isaac, Sir, 2461-7271. Principia
Classification :
QA
76
.
9
.
A96F57
5. A computational logic
Author: Boyer, Robert S., Robert S. Boyer and J Strother Moore
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Automatic theorem proving
Classification :
QA
76
.
9
.
A96
B68
6. A computational logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Automatic theorem proving. ;
7. A computational logic
Author: Robert S. Boyer and J. Strother Moore
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving
Classification :
QA
76
.
9
.
A96B68
8. A computational logic
Author: / Robert S. Boyer and J. Strother Moore
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving
Classification :
QA
,
76
.
9
,.
A96
,
B68
9. A computational logic handbook
Author: BOYER,ROBERT S
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
Classification :
QA
76
.
9
.
A96
B684
10. A many-sorted calculus based on resolution and paramodulation
Author: Christoph Walther.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Automatic theorem proving.
11. A proof theory for general unification
Author: / Wayne Snyder,Snyder
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Automatic theorem proving
Classification :
QA
76
.
9
.
A96S6
1991
12. A proof theory for general unification
Author: Wayne Snyder
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving
Classification :
QA
76
.
9
.
A96S6
13. A resolution principle for a logic with restricted quantifiers
Author: H.-J. Burckert
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Automatic theorem proving,Logic, Symbolic and mathematical
Classification :
QA
,
76
.
9
,.
A96B87
14. A resolution principle for a logic with restricted quantifiers
Author: H.-J. Burckert
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
568
15. Algorithmic decision theory :
Author: Ronen I. Brafman, Fred S. Roberts, Alexis Tsoukiàs (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses,Computer algorithms, Congresses,Decision making-- Data processing, Congresses
Classification :
QA76
.
9
.
A96
A38
2011
16. Applied proof theory: proof interpretations and their use in mathematics
Author: Kohlenbach, U. )Ulrich(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Proof theory,، Approximation theory,، Nonlinear operators,، Automatic theorem proving
Classification :
QA
9
.
54
.
K64
2008
17. Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings
Author: Jacques Calmet...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
2385
18. Automated Deduction – CADE-25
Author: \ Amy P. Felty , Aart Middeldorp (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگرهها
Classification :
QA
76
.
9
.
A96
2015
E-Book
,
19. Automated Deduction : Proceedings
Author: M.E. Stickel )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
449
20. Automated Deduction in Geometry
Author: \ Francisco Botana , Pedro Quaresma (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer graphics,گرافیک کامپیوتری,a03,a03,Geometry -- Data processing -- Congresses.,Automatic theorem proving -- Congresses.,هندسه -- داده پردازی -- کنگره ها
Classification :
T
385
.
A92
2015
E-Book
,
